METAMOC: Modular Execution Time Analysis using Model Checking

Safe and tight worst-case execution times (WCETs) are important when scheduling hard real-time systems. This paper presents METAMOC, a path-based, modular method, based on model checking and static analysis, that determines safe and tight WCETs for programs running on platforms fea-turing caching and pipelining. The method works by constructing a UPPAAL model of the program being analysed and annotating the model with information from an inter-procedural value analysis. The program model is then combined with a model of the hardware platform, and model checked for the WCET. Through support for the platforms ARM7, ARM9 and ATMEL AVR 8-bit the modularity and retargetability of the method is demonstrated, as only the pipeline needs to be remodelled. Mod-elling the hardware is performed in a state-of-the-art graphical modeling environment. Experiments on the Mälardalen WCET benchmark programs show that taking caching into account yields much tighter WCETs, and that METAMOC is a fast and versatile approach for WCET analysis. 1

Surgical treatment of patients with infective endocarditis:changes in temporal use, patient characteristics, and mortality—a nationwide study

BACKGROUND: Valve surgery guidelines for infective endocarditis (IE) are unchanged over decades and nationwide data about the use of valve surgery do not exist. METHODS: We included patients with first-time IE (1999–2018) using Danish nationwide registries. Proportions of valve surgery were reported for calendar periods (1999–2003, 2004–2008, 2009–2013, 2014–2018). Comparing calendar periods in multivariable analyses, we computed likelihoods of valve surgery with logistic regression and rates of 30 day postoperative mortality with Cox regression. RESULTS: We included 8804 patients with first-time IE; 1981 (22.5%) underwent surgery during admission, decreasing by calendar periods (N = 360 [24.4%], N = 483 [24.0%], N = 553 [23.5%], N = 585 [19.7%], P = < 0.001 for trend). For patients undergoing valve surgery, median age increased from 59.7 to 66.9 years (P ≤ 0.001) and the proportion of males increased from 67.8% to 72.6% (P = 0.008) from 1999–2003 to 2014–2018. Compared with 1999–2003, associated likelihoods of valve surgery were: Odds ratio (OR) = 1.14 (95% CI: 0.96–1.35), OR = 1.20 (95% CI: 1.02–1.42), and OR = 1.10 (95% CI: 0.93–1.29) in 2004–2008, 2009–2013, and 2014–2018, respectively. 30 day postoperative mortalities were: 12.7%, 12.8%, 6.9%, and 9.7% by calendar periods. Compared with 1999–2003, associated mortality rates were: Hazard ratio (HR) = 0.96 (95% CI: 0.65–1.41), HR = 0.43 (95% CI: 0.28–0.67), and HR = 0.55 (95% CI 0.37–0.83) in 2004–2008, 2009–2013, and 2014–2018, respectively. CONCLUSIONS: On a nationwide scale, 22.5% of patients with IE underwent valve surgery. Patient characteristics changed considerably and use of valve surgery decreased over time. The adjusted likelihood of valve surgery was similar between calendar periods with a trend towards an increase while rates of 30 day postoperative mortality decreased. SUPPLEMENTARY INFORMATION: The online version contains supplementary material available at 10.1186/s12872-022-02761-z

Bright light therapy versus physical exercise to prevent co-morbid depression and obesity in adolescents and young adults with attention-deficit/hyperactivity disorder: study protocol for a randomized controlled trial

Background: The risk for major depression and obesity is increased in adolescents and adults with attention-deficit / hyperactivity disorder (ADHD) and adolescent ADHD predicts adult depression and obesity. Non-pharmacological interventions to treat and prevent these co-morbidities are urgently needed. Bright light therapy (BLT) improves day– night rhythm and is an emerging therapy for major depression. Exercise intervention (EI) reduces obesity and improves depressive symptoms. To date, no randomized controlled trial (RCT) has been performed to establish feasibility and efficacy of these interventions targeting the prevention of co-morbid depression and obesity in ADHD. We hypothesize that the two manualized interventions in combination with mobile health-based monitoring and reinforcement will result in less depressive symptoms and obesity compared to treatment as usual in adolescents and young adults with ADHD. Methods: This trial is a prospective, pilot phase-IIa, parallel-group RCT with three arms (two add-on treatment groups [BLT, EI] and one treatment as usual [TAU] control group). The primary outcome variable is change in the Inventory of Depressive Symptomatology total score (observer-blinded assessment) between baseline and ten weeks of intervention. This variable is analyzed with a mixed model for repeated measures approach investigating the treatment effect with respect to all three groups. A total of 330 participants with ADHD, aged 14 – < 30 years, will be screened at the four study centers. To establish effect sizes, the sample size was planned at the liberal significance level of α = 0.10 (two-sided) and the power of 1-β = 80% in order to find medium effects. Secondary outcomes measures including change in obesity, ADHD symptoms, general psychopathology, health-related quality of life, neurocognitive function, chronotype, and physical fitness are explored after the end of the intervention and at the 12-week follow-up. This is the first pilot RCT on the use of BLT and EI in combination with mobile health-based monitoring and reinforcement targeting the prevention of co-morbid depression and obesity in adolescents and young adults with ADHD. If at least medium effects can be established with regard to the prevention of depressive symptoms and obesity, a larger scale confirmatory phase-III trial may be warranted.The trial is funded by the EU Framework Programme for Research and Innovation, Horizon 2020 (Project no. 667302). Funding period: January 2016–December 2020. This funding source had no role in the design of this study and will not have any role during its execution, analyses, interpretation of the data, or decision to submit results. Some local funds additionally contributed to carry out this study, especially for the preparation of the interventions: FBO research activity is by the Spanish Ministry of Economy and Competitiveness – MINECO (RYC-2011-09011) and by the University of Granada, Plan Propio de Investigación 2016, Excellence actions: Unit of Excellence on Exercise and Health (UCEES)

Fast and efficient QTL mapper for thousands of molecular phenotypes

In order to discover quantitative trait loci, multi-dimensional genomic datasets combining DNA-seq and ChiP-/RNA-seq require methods that rapidly correlate tens of thousands of molecular phenotypes with millions of genetic variants while appropriately controlling for multiple testing

Genomic Relationships, Novel Loci, and Pleiotropic Mechanisms across Eight Psychiatric Disorders

Genetic influences on psychiatric disorders transcend diagnostic boundaries, suggesting substantial pleiotropy of contributing loci. However, the nature and mechanisms of these pleiotropic effects remain unclear. We performed analyses of 232,964 cases and 494,162 controls from genome-wide studies of anorexia nervosa, attention-deficit/hyper-activity disorder, autism spectrum disorder, bipolar disorder, major depression, obsessive-compulsive disorder, schizophrenia, and Tourette syndrome. Genetic correlation analyses revealed a meaningful structure within the eight disorders, identifying three groups of inter-related disorders. Meta-analysis across these eight disorders detected 109 loci associated with at least two psychiatric disorders, including 23 loci with pleiotropic effects on four or more disorders and 11 loci with antagonistic effects on multiple disorders. The pleiotropic loci are located within genes that show heightened expression in the brain throughout the lifespan, beginning prenatally in the second trimester, and play prominent roles in neurodevelopmental processes. These findings have important implications for psychiatric nosology, drug development, and risk prediction.Peer reviewe

Trans-ancestry genome-wide association meta-analysis of prostate cancer identifies new susceptibility loci and informs genetic risk prediction.

Prostate cancer is a highly heritable disease with large disparities in incidence rates across ancestry populations. We conducted a multiancestry meta-analysis of prostate cancer genome-wide association studies (107,247 cases and 127,006 controls) and identified 86 new genetic risk variants independently associated with prostate cancer risk, bringing the total to 269 known risk variants. The top genetic risk score (GRS) decile was associated with odds ratios that ranged from 5.06 (95% confidence interval (CI), 4.84-5.29) for men of European ancestry to 3.74 (95% CI, 3.36-4.17) for men of African ancestry. Men of African ancestry were estimated to have a mean GRS that was 2.18-times higher (95% CI, 2.14-2.22), and men of East Asian ancestry 0.73-times lower (95% CI, 0.71-0.76), than men of European ancestry. These findings support the role of germline variation contributing to population differences in prostate cancer risk, with the GRS offering an approach for personalized risk prediction

Analysis of shared heritability in common disorders of the brain

ience, this issue p. eaap8757 Structured Abstract INTRODUCTION Brain disorders may exhibit shared symptoms and substantial epidemiological comorbidity, inciting debate about their etiologic overlap. However, detailed study of phenotypes with different ages of onset, severity, and presentation poses a considerable challenge. Recently developed heritability methods allow us to accurately measure correlation of genome-wide common variant risk between two phenotypes from pools of different individuals and assess how connected they, or at least their genetic risks, are on the genomic level. We used genome-wide association data for 265,218 patients and 784,643 control participants, as well as 17 phenotypes from a total of 1,191,588 individuals, to quantify the degree of overlap for genetic risk factors of 25 common brain disorders. RATIONALE Over the past century, the classification of brain disorders has evolved to reflect the medical and scientific communities' assessments of the presumed root causes of clinical phenomena such as behavioral change, loss of motor function, or alterations of consciousness. Directly observable phenomena (such as the presence of emboli, protein tangles, or unusual electrical activity patterns) generally define and separate neurological disorders from psychiatric disorders. Understanding the genetic underpinnings and categorical distinctions for brain disorders and related phenotypes may inform the search for their biological mechanisms. RESULTS Common variant risk for psychiatric disorders was shown to correlate significantly, especially among attention deficit hyperactivity disorder (ADHD), bipolar disorder, major depressive disorder (MDD), and schizophrenia. By contrast, neurological disorders appear more distinct from one another and from the psychiatric disorders, except for migraine, which was significantly correlated to ADHD, MDD, and Tourette syndrome. We demonstrate that, in the general population, the personality trait neuroticism is significantly correlated with almost every psychiatric disorder and migraine. We also identify significant genetic sharing between disorders and early life cognitive measures (e.g., years of education and college attainment) in the general population, demonstrating positive correlation with several psychiatric disorders (e.g., anorexia nervosa and bipolar disorder) and negative correlation with several neurological phenotypes (e.g., Alzheimer's disease and ischemic stroke), even though the latter are considered to result from specific processes that occur later in life. Extensive simulations were also performed to inform how statistical power, diagnostic misclassification, and phenotypic heterogeneity influence genetic correlations. CONCLUSION The high degree of genetic correlation among many of the psychiatric disorders adds further evidence that their current clinical boundaries do not reflect distinct underlying pathogenic processes, at least on the genetic level. This suggests a deeply interconnected nature for psychiatric disorders, in contrast to neurological disorders, and underscores the need to refine psychiatric diagnostics. Genetically informed analyses may provide important "scaffolding" to support such restructuring of psychiatric nosology, which likely requires incorporating many levels of information. By contrast, we find limited evidence for widespread common genetic risk sharing among neurological disorders or across neurological and psychiatric disorders. We show that both psychiatric and neurological disorders have robust correlations with cognitive and personality measures. Further study is needed to evaluate whether overlapping genetic contributions to psychiatric pathology may influence treatment choices. Ultimately, such developments may pave the way toward reduced heterogeneity and improved diagnosis and treatment of psychiatric disorders

Fine-mapping of prostate cancer susceptibility loci in a large meta-analysis identifies candidate causal variants

Prostate cancer is a polygenic disease with a large heritable component. A number of common, low-penetrance prostate cancer risk loci have been identified through GWAS. Here we apply the Bayesian multivariate variable selection algorithm JAM to fine-map 84 prostate cancer susceptibility loci, using summary data from a large European ancestry meta-analysis. We observe evidence for multiple independent signals at 12 regions and 99 risk signals overall. Only 15 original GWAS tag SNPs remain among the catalogue of candidate variants identified; the remainder are replaced by more likely candidates. Biological annotation of our credible set of variants indicates significant enrichment within promoter and enhancer elements, and transcription factor-binding sites, including AR, ERG and FOXA1. In 40 regions at least one variant is colocalised with an eQTL in prostate cancer tissue. The refined set of candidate variants substantially increase the proportion of familial relative risk explained by these known susceptibility regions, which highlights the importance of fine-mapping studies and has implications for clinical risk profiling. © 2018 The Author(s).Prostate cancer is a polygenic disease with a large heritable component. A number of common, low-penetrance prostate cancer risk loci have been identified through GWAS. Here we apply the Bayesian multivariate variable selection algorithm JAM to fine-map 84 prostate cancer susceptibility loci, using summary data from a large European ancestry meta-analysis. We observe evidence for multiple independent signals at 12 regions and 99 risk signals overall. Only 15 original GWAS tag SNPs remain among the catalogue of candidate variants identified; the remainder are replaced by more likely candidates. Biological annotation of our credible set of variants indicates significant enrichment within promoter and enhancer elements, and transcription factor-binding sites, including AR, ERG and FOXA1. In 40 regions at least one variant is colocalised with an eQTL in prostate cancer tissue. The refined set of candidate variants substantially increase the proportion of familial relative risk explained by these known susceptibility regions, which highlights the importance of fine-mapping studies and has implications for clinical risk profiling. © 2018 The Author(s).Peer reviewe

A genetic investigation of sex bias in the prevalence of attention-deficit/hyperactivity disorder

Background Attention-deficit/hyperactivity disorder (ADHD) shows substantial heritability and is 2-7 times more common in males than females. We examined two putative genetic mechanisms underlying this sex bias: sex-specific heterogeneity and higher burden of risk in female cases. Methods We analyzed genome-wide autosomal common variants from the Psychiatric Genomics Consortium and iPSYCH Project (20,183 cases, 35,191 controls) and Swedish populationregister data (N=77,905 cases, N=1,874,637 population controls). Results Genetic correlation analyses using two methods suggested near complete sharing of common variant effects across sexes, with rg estimates close to 1. Analyses of population data, however, indicated that females with ADHD may be at especially high risk of certain comorbid developmental conditions (i.e. autism spectrum disorder and congenital malformations), potentially indicating some clinical and etiological heterogeneity. Polygenic risk score (PRS) analysis did not support a higher burden of ADHD common risk variants in female cases (OR=1.02 [0.98-1.06], p=0.28). In contrast, epidemiological sibling analyses revealed that the siblings of females with ADHD are at higher familial risk of ADHD than siblings of affected males (OR=1.14, [95% CI: 1.11-1.18], p=1.5E-15). Conclusions Overall, this study supports a greater familial burden of risk in females with ADHD and some clinical and etiological heterogeneity, based on epidemiological analyses. However, molecular genetic analyses suggest that autosomal common variants largely do not explain the sex bias in ADHD prevalence